Importing the primitive modules.
  Getting interface for Agda.Primitive
  Check for cycle
  Agda.Primitive is up-to-date.
  no stored version, reading agda-default-include-path/Agda/Primitive.agdai
Loading  Agda.Primitive (agda-default-include-path/Agda/Primitive.agdai).
  imports: []
  New module. Let's check it out.
Merging interface
  Now we've looked at Agda.Primitive
  Getting interface for Agda.Primitive.Cubical
  Check for cycle
  Agda.Primitive.Cubical is up-to-date.
  no stored version, reading agda-default-include-path/Agda/Primitive/Cubical.agdai
Loading  Agda.Primitive.Cubical (agda-default-include-path/Agda/Primitive/Cubical.agdai).
  imports: [(Agda.Primitive, 14768413828387280131)]
  Already visited Agda.Primitive
  New module. Let's check it out.
Merging interface
  Now we've looked at Agda.Primitive.Cubical
Done importing the primitive modules.
  Getting interface for Issue641
  Check for cycle
  Issue641 is not up-to-date because the interface has not been decoded and we're ignoring non-builtin interface files.
Checking Issue641 (Issue641.agda).
Creating interface for Issue641.
  visited: Agda.Primitive, Agda.Primitive.Cubical
Starting scope checking.
Scope checking Agda.Primitive
  visited: Agda.Primitive, Agda.Primitive.Cubical
  Already visited Agda.Primitive
Issue641.agda:9,6-18
No module NoSuchModule in scope
when scope checking the declaration
  open NoSuchModule
